$\forall$$a$, $b$:$\mathbb{Z}$. GCD($a$;0;$b$) $\Rightarrow$ $a$ $=$ $b$ $\vee$ $a$ $=$ {-}$b$